Electronic Books

Total Books: 1 - 14 /14

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...

Constitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August ...

In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...

You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...

Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...

This comprehensive examination of the main approaches to object-oriented language explains the key features of the languages ...

Object-Oriented Programming and Java presents two important topics in contemporary software development: object-oriented ...

This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...

The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...

This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Total Books: 1 - 14 /14